syntonly.dtx

---